${\it kpr}$ $\vDash$ $X$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$s$:${\it Sem}$. K{-}sem($S$;${\it equiv}$)(${\it kpr}$,$s$) $\Rightarrow$ $X$($s$)